ObservableModelQ

ObservableModelQ[sys] gives True if the system sys is observable, and False otherwise.

ObservableModelQ[{sys,sub}] gives True if the subsystem sub is observable.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.